home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / sys / amiga / programmer / 7343 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  2.4 KB
  1. Path: daily-planet.execpc.com!usenet
  2. From: innuendo@execpc.com (Jonathan Gapen)
  3. Newsgroups: comp.sys.amiga.misc,comp.sys.amiga.programmer
  4. Subject: Re: toy operating systems, like AmigaOS
  5. Date: 15 Apr 1996 02:12:35 GMT
  6. Organization: esCom Amiga Madison Enthusiast's Organisation
  7. Message-ID: <4ksbaj$frv@daily-planet.execpc.com>
  8. References: <skllsf.984983.4.5@groomlake.mil> <mbanetDptG63.HJG@netcom.com>
  9. NNTP-Posting-Host: cornflakes.execpc.com
  10. Mime-Version: 1.0
  11. Content-Type: text/plain; charset=iso-8859-1
  12. Content-Transfer-Encoding: 8bit
  13. X-NewsSoftware: GRn 2.1 Feb 19, 1994
  14.  
  15.  
  16. In article <mbanetDptG63.HJG@netcom.com> mbanet@netcom.com (David Waters) writes:
  17. > 
  18. > In a perfect world developers would "play by the rules" and take the 
  19. > appropriate precautions.  Even if they don't, the marketplace should be 
  20. > a great regulator of those who play by the rules and those who don't.  
  21. > I cite the existence of ARexx ports on major Amiga applications as an 
  22. > example of this. 
  23.  
  24.    In a perfect world, developers *could* "play by the rules."
  25.    If you've got a fairly simple task to complete, you can use formal methods
  26. in writing a program to complete it.  You define it mathematically, then use
  27. mathematic proofs to insure that it contains no errors in logic.  After that,
  28. you implement those definitions in code.  That way, you can get a reliable
  29. program.
  30.    In the real world, though, you would end up writing out equations for
  31. years, trying to define all of the tasks, and possible paths of execution for
  32. any decent size application, such as Final Writer.  As it is virtually
  33. impossible to foresee all the possibilities, it is virtually impossible to
  34. foresee all logical and implementation flaws.
  35.    To put it bluntly, all non-trivial software has bugs.
  36.    The original designers of the Amiga operating system traded reliability for
  37. performance, and for many years, that was a good choice.  These days, with a
  38. fast PowerPC processor, why can't we trade some performance for increased
  39. reliability?
  40.    This doesn't mean AmigaOS has to have all the protections, and all the
  41. burdens of a full-blown UNIX system, but I'd sure love a little light memory
  42. protection and resource tracking.  Because realistically, programs will only
  43. get bigger and harder to maintain before programming methods improve greatly,
  44. and a simple divide by zero error in one program shouldn't take out the whole
  45. machine.
  46.  
  47. -- 
  48. Jonathan Gapen (innuendo@execpc.com)
  49. Bread in, toast out. How does it DO that?
  50.